#include "../kernel/interrupt.h"
#include "../lib/define.h"
#include "../lib/rtl.h"

void SyscallInitialize(void);
